Blockchains are distributed data structures that are used to achieveconsensus in systems for cryptocurrencies (like Bitcoin) or smart contracts(like Ethereum). Although blockchains gained a lot of popularity recently,there is no logic-based model for blockchains available. We introduce BCL, adynamic logic to reason about blockchain updates, and show that BCL is soundand complete with respect to a simple blockchain model.
展开▼